Synchronization Detection in Multi-Process Hierarchical Synthesis

by O. Bring­mann, W. Rosen­stiel, and S. Re­ichardt
In 11th In­ter­na­tional Sym­po­sium on Sys­tem Syn­the­sis (ISSS), 1998.